Composite Web Service Modeling and Verification with BPEL4WS and Petri nets
نویسندگان
چکیده
The Business Process Execution Language for Web service is already used by business process developers to describe a composite web service. The validity of the BPEL4WS process is an important property to effect quality of the web service and reputation of enterprises. We proposed a formal model to specify BPEL4WS with Petri nets, and our model can verify deadlock, bounded multi-instances, and redundancy issues. Our method was implemented in a real-world system, Intelligent Transportation Systems Project of Program for Promoting University Academic Excellence.
منابع مشابه
An Approach for Synthesis Petri Nets for Modeling and Verifying Composite Web Service
An approach for modeling Web service composition by Petri nets which is based on OWL-S is proposed. By this approach, first, control flow of the composite web service is modeled based on top-down method. Then data flow model is constructed with Petri nets according to data flow specification. After that, by using a bottom-up approach, synchronous composition, the data flow net of the composite ...
متن کاملTowards Formal Verification of Web Service Composition
Correct notation for specifying the composite service alone is not sufficient to guarantee reliability, thus comes a strong demand on modeling and verifying web services composition languages. This paper presented a formal method of web service composition verification based on Petri net. Focus is given on BPEL4WS specification, of which both behavior semantics and communication semantics are c...
متن کاملSpecification and Verification of Views over Composite Web Services Using High Level Petri-Nets
This paper presents a high level Petri-Net approach for specifying and verifying views over composite Web service. High level Petri-Nets have the capacity of formally modeling and verifying complex systems. A view is mainly used for tracking purposes as it permits representing a contextual snapshot of a composite Web service specification. The use of the proposed high level Petri-Net approach i...
متن کاملModeling and formal verification framework of Web services composition
To ensure reliable and efficient communication in B2B environments, we relied on the use of composite Web services. Indeed, in some cases, a service cannot provide the functionality required by the user unless it communicates with other services. This leads to the notion of Web services composition. The communication of these Web services has to be guaranteed without errors such as deadlocks. I...
متن کاملAnalyzing BPEL processes using Petri nets
Some years ago, BEA, IBM, Microsoft, SAP AG, and Siebel Systems teamed up and proposed the Business Process Execution Language for Web Services (BPEL or BPEL4WS) for application integration within and across organizational boundaries. By now, BPEL has become the de facto standard in this Web services composition arena. However, little effort has been dedicated so far concerning the verification...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2005